不得了，这个名叫Gauss（高斯）的新AI Agent，有点杀疯了的感觉。 因为它只用了三周的时间，就完成了陶哲轩和Alex Kontorovich提出的数学挑战——在Lean中形式化强素数定理（Prime Number Theorem，PNT）。
2025年4月，OpenAI研究员姚顺雨发布了一篇有名的博文《The Second Half》，宣告AI主线程的游戏已进入下半场。这之后，我们与他进行了一场播客对谈。姚顺雨毕业于清华和普林斯顿大学，博士期间意识到语言是人类发明的最重要的工具，也是最有可能构建通用系统的，于是转向Language Agent研究，至今已6年。
打开手机，让 AI Agent 自动帮你完成订外卖、订酒店、网上购物的琐碎任务，这正成为智能手机交互的新范式。
数据智能体到底好不好用？测评一下就知道了！
逛 GitHub 的时候，发现了一个叫 AiPyapp 的开源项目。
自从 Claude code 上线 sub-agents 后，我一直对其抱很大的期待，每次做 case 都会搭建一支“AI coding 梦之队”。想象中，它们会在主 agent的协调下火力全开， 完成我超级复杂的需求。
你有没有想过，网站的时代真的结束了？我们正在目睹一场静悄悄的革命：AI agent 正在重新定义内容发现的游戏规则，而大多数企业甚至还没意识到自己的网站内容已经对AI"隐形"了。这不是什么遥远的未来预测，而是正在发生的现实。
Computer use是真正Agents的关键驱动力。它们的有效性取决于两个因素：能够接入多少工具，以及能否在这些工具之间进行推理。Computer use显著拓展了这两方面的能力——既赋予Agents使用任意软件的广度，也提升了它们将一系列动作串联成完整工作流的智能。
一年前的今天，特工宇宙团队在外滩大会上首次接触到蚂蚁百宝箱团队。
DeepSeek下一步，被曝剑指智能体。 知情人士透露，DeepSeek正在开发具有更强大AI Agent能力的新模型，预计在今年年底就会推出。
